$\forall$$A$, $B$:MsgAForm. $A$ $\oplus$ $B$ $\in$ MsgAForm